⚡ functional programming - abnv · Scour

Formal Verification in Any Language for Everybody 🏭Functional Compilers

dev-log.me·2d·Hacker News·

Vibe Clojure 2: Ahead of Time 🔮Clojure

medium.com·4d·

Almighty Lisp: Lisp & Emacs Essentials 🪄Syntax Macros

almightylisp.com·5h·

Control Flow: Truth, Conditions, and Pattern-Based Decisions 🔀Control Structures

grox.io·14h·

New Era for Clojure: Infix Syntax! 🔮Clojure

flexiana.com·1d·

🐍 Functionally Zen 🪞Homoiconicity

testdouble.com·4h·

Quadratic Micropass Type Inference 🔍Type Inference

articles.luminalang.com·6d·Hacker News·

Haskell Miso v1.9.0 Released 🌱Minimal Languages

github.com·4h·Hacker News·

What Would You See Changed in Haskell? 🔧haskell

blog.haskell.org·1d·Lobsters, Hacker News, r/programming·

Explore union types in C# 15 🔗Unification

devblogs.microsoft.com·5h·

The Lisp Curse 🌱Minimal Lisps

winestockwebdesign.com·1d·

Generators in Lone Lisp 🔮Lisp Interpreters

news.ycombinator.com·6d·Hacker News·

Functional programming is the simplest way to scale agentic development ✨Gleam

cyrusradfar.com·1d·Hacker News·

GHC Developer Blog: GHC 9.12.4 is now available 📏Linear Haskell

haskell.org·6d·

Relational Schema Migrations Powered by Lisp on DBs (Guile Scheme) + Seeding 📋Tablegen

codeberg.org·1d·Hacker News·

Lisp Machines! 🖥️Lisp Machines

irreal.org·3d·

Formally verifying digital circuits with category theory in Lean 🔗Category Theory

matt.hunzinger.me·5d·r/programming·

PANE: Programming with visible data 🌊Dataflow Languages

joshuahhh.com·6d·

Almighty Lisp: Lisp & Emacs Essentials 🌱Minimal Lisps

almightylisp.com·1d·Hacker News·

DavidLiedle/WISP: Lisp in WASM 🔮Lisp Interpreters

github.com·2d·Hacker News·

Loading more...